| contributor | Verteilte Systeme (IPVR) | ||||||||||||||||
| creator |
Papesch, Matthias
| Burger, Cora
| date |
2002
| description |
20 pages
|
To overcome problems in understanding security protocols, a
constructivist approach is used. Learners are enabled to experiment
with a given protocol, either alone or in a team of co-learners.
This means, to use pre-defined and automatically generated PROMELA
building blocks for all communicating parties and to support
students in playing some roles in an interactive way. To explain
these building blocks more detailed, the
Needham-Schroeder-Public-Key authentication protocol is given as an
example.
All building blocks were realized by means of the preprocessor. A
proper combination of simulation and visualization components cares
for hiding unnecessary details and restricts on the essentials. The
SPIN validator is used to check the correctness of students
solutions or generate trail files to give a hint in case of a
quandary. To allow collaborative experiments, the whole facility is
embedded into a framework for application sharing. The latter is
equipped with components for annotation and note taking as well as
for recording.
| format |
application/pdf
| 336771 Bytes | |
| identifier | http://www.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=TR-2002-09&engl=1 |
| language | eng |
| publisher | Stuttgart, Germany, Universität Stuttgart |
| relation | Technical Report No. 2002/09 |
| source | ftp://ftp.informatik.uni-stuttgart.de/pub/library/ncstrl.ustuttgart_fi/TR-2002-09/TR-2002-09.pdf |
| subject | Network Protocols (CR C.2.2) |
| Operating Systems Security and Protection (CR D.4.6) | |
| Simulation and Modeling Applications (CR I.6.3) | |
| Information Systems Applications Communications Applications (CR H.4.3) | |
| Multimedia Information Systems (CR H.5.1) | |
| Computer Uses in Education (CR K.3.1) | |
| E-Learning | |
| Security Protocols | |
| Promela | |
| SPIN | |
| title | ProDuctivE - A Promela driven constructivist environment to learn security protocols |
| type | Text |
| Technical Report |